\begin{definition}
`Java是一种跨平台的编程语言。`
\end{definition}
